add_ani_demo(ani_boxed_Int)
 